Effective genericity and differentiability
نویسندگان
چکیده
We prove that a real x is 1-generic if and only if every differentiable computable function has continuous derivative at x . This provides a counterpart to recent results connecting effective notions of randomness with differentiability. We also consider multiply differentiable computable functions and polynomial time computable functions. 2010 Mathematics Subject Classification 03E15; 03F60 (primary); 26E40 (secondary)
منابع مشابه
Differentiability Properties of Optimal Value Functions
Abstract. Differentiability properties of optimal value functions associated with perturbed optimization problems require strong assumptions. We consider such a set of assumptions which does not use compactness hypothesis but which involves a kind of coherence property. Moreover, a strict differentiability property is obtained by using techniques of Ekeland and Lebourg and a result of Preiss. S...
متن کاملSolution of the first order fuzzy differential equations with generalized differentiability
In this paper, we study first order linear fuzzy differential equations with fuzzy coefficient and initial value. We use the generalized differentiability concept and apply the exponent matrix to present the general form of their solutions. Finally, one example is given to illustrate our results.
متن کاملOn Fuzzy Solution for Exact Second Order Fuzzy Differential Equation
In the present paper, the analytical solution for an exact second order fuzzy initial value problem under generalized Hukuhara differentiability is obtained. First the solution of first order linear fuzzy differential equation under generalized Hukuhara differentiability is investigated using integration factor methods in two cases. The second based on the type of generalized Hukuhara different...
متن کاملProperties of eigenvalue function
For the eigenvalue function on symmetric matrices, we have gathered a number of it’s properties.We show that this map has the properties of continuity, strict continuity, directional differentiability, Frechet differentiability, continuous differentiability. Eigenvalue function will be extended to a larger set of matrices and then the listed properties will prove again.
متن کاملApplication of iterative method for solving fuzzy Bernoulli equation under generalized H-differentiability
In this paper, the Picard method is proposed to solve the Bernoulli equation with fuzzy initial condition under generalized H-differentiability. The existence and uniqueness of the solution and convergence of the proposed method are proved in details. Finally an example shows the accuracy of this method.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Logic & Analysis
دوره 6 شماره
صفحات -
تاریخ انتشار 2014